Non-Statement View of Theories Computer Modeling and Model-Based KR Semantic approach Homotopy Type theory Modeling with HoTT Concluding Remarks

Source URL: philomatica.org

The constructive Hilbert program and the limits of Martin-L¨of type theory∗ Michael Rathjen Department of Pure Mathematics, University of Leeds Leeds LS2 9JT, United Kingdom E-Mail:

Source URL: www1.maths.leeds.ac.uk

HOMOTOPY LIMITS IN TYPE THEORY JEREMY AVIGAD, KRZYSZTOF KAPULKIN, AND PETER LEFANU LUMSDAINE Abstract. Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized

Source URL: peterlefanulumsdaine.com

On the Decidability of Conversion in Type Theory Andreas Abel, Thierry Coquand, and Bassel Mannaa Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden {andreas.abel,thierry.coquand

Source URL: www2.tcs.ifi.lmu.de

A Simple Programming Language Type theory and functional programming This talk will about the connections between type theory and functional programming

Source URL: www.cse.chalmers.se

OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set

Source URL: ludovicpatey.com

• Computability theory
• Mathematical logic
• Proof theory
• Theory of computation
• Logic in computer science
• Computable function
• Reverse mathematics
• PA degree
• Peano axioms

Lower bounds in type theory with ordinals and universes Ulrik Torben Buchholtz Münchenwiler Seminar, June 20, 2014

Source URL: www.andrew.cmu.edu

Possible and Certain Answers for Queries over Order-Incomplete Data Antoine Amarilli1 , Mouhamadou Lamine Ba2 , Daniel Deutch3 , and Pierre Senellart1,4 1 2

Source URL: pierre.senellart.com

• Mathematics
• Mathematical logic
• Logic
• Relational model
• Data management
• Type theory
• Order theory
• Relational algebra
• FO
• Tuple
• Relation
• Data integration

Haskell eXchangeProgramming from Universal Properties Gershom Bazerman,


Source URL: gbaz.github.io

• Category theory
• Initial and terminal objects
• Nothing
• Limit
• Product
• Coproduct
• Diagram
• Cone
• Universal property
• Void type
• Property